1. Automated Deduction - A Basis for Applications
پدیدآورنده : edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
2. Automated Deduction - A Basis for Applications
پدیدآورنده : edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
3. Automated deduction - A Basis for applications
پدیدآورنده : edited by wolfgang Bibel, Peter H. Schmitt
کتابخانه: Central Library and Information Center of Birjand University (South Khorasan)
موضوع : ، Logic programming,، Logic )mathematics(
رده :
QA
76
.
63
.
A8
L6
4. Automated deduction-a basis for applications
پدیدآورنده : / edited by Wolfgang Bibel and Peter H.Schmitt
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic,Symbolic and mathematical,Automatic theorem proving
رده :
QA
76
.
9
.
A96
1998
